Перевод: с английского на русский

с русского на английский

Elementary Submodel

См. также в других словарях:

  • Chang's conjecture — In model theory, a branch of mathematical logic, Chang s conjecture, attributed to Chen Chung Chang by Vaught (1963, p. 309), states that every model of type (ω2,ω1) for a countable language has an elementary submodel of type (ω1, ω). A… …   Wikipedia

  • Robert Lawson Vaught — (April 4 1926, Alhambra, California – April 2 2002) was a mathematical logician, and one of the founders of model theory. LifeVaught was a bit of a musical prodigy in his youth, in his case the piano. He began his university studies at Pomona… …   Wikipedia

  • L(R) — In set theory, L(R) (pronounced L of R) is the smallest transitive inner model of ZF containing all the ordinals and all the reals. It can be constructed in a manner analogous to the construction of L (that is, Gödel s constructible universe), by …   Wikipedia

  • Condensation lemma — In set theory, a branch of mathematics, the condensation lemma is a result about sets in the constructible universe. It states that if Lα is a level of the constructible hierarchy, X is an elementary submodel of the model then is isomorphic to… …   Wikipedia

  • Substructure — In universal algebra, an (induced) substructure or (induced) subalgebra is a structure whose domain is a subset of that of a bigger structure, and whose functions and relations are the traces of the functions and relations of the bigger structure …   Wikipedia

  • metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

  • Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… …   Wikipedia

  • Australian Air Force Cadets — The Australian Air Force Cadets (AAFC), known as the Air Training Corps (AIRTC) until 2001, is a Federal Government funded youth organisation. The parent force of the AAFC is the Royal Australian Air Force (RAAF). Aims The broad aim of the… …   Wikipedia

  • Prime model — In mathematics, and in particular model theory, a prime model is a model which is as simple as possible. Specifically, a model P is prime if it admits an elementary embedding into any model M to which it is elementarily equivalent (that is, into… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»